/*
   Copyright (c) 2011, 2012, 2015 Mizar Tools Contributors (mizartools.org)

   Licensed under the Apache License, Version 2.0 (the "License");
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at

       http://www.apache.org/licenses/LICENSE-2.0

   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   See the License for the specific language governing permissions and
   limitations under the License.
*/
/*  Contributors :
 *  2011-03-25 Marco Riccardi - implementation of visitor pattern
 *  2011-09-14 Marco Riccardi - added PropertyRegistration
 *                            - added Sethood
 *                            - changed Property -> AbstractProperty
 *  2012-04-01 Marco Riccardi - added ReductionRegistration
 *                            - added Reduction
 *                            - added Reducibility
 *	2012-04-09 Marco Riccardi - added ReductionRegistrations
 *  2015-01-11 Marco Riccardi - added Asymmetry, PropertyRegistrations and FlexFrm
 *                            
 */
package org.mizartools.system.xml;

public abstract class Visitor {

	public boolean visit(Abstractness abstractness){return true;}
	public void endVisit(Abstractness abstractness){}

	public boolean visit(Adjective adjective){return true;}
	public void endVisit(Adjective adjective){}

	public boolean visit(And and){return true;}
	public void endVisit(And and){}

	public boolean visit(Antisymmetry antisymmetry){return true;}
	public void endVisit(Antisymmetry antisymmetry){}

	public boolean visit(ArgTypes argTypes){return true;}
	public void endVisit(ArgTypes argTypes){}

	public boolean visit(Article article){return true;}
	public void endVisit(Article article){}

	public boolean visit(ArticleID articleID){return true;}
	public void endVisit(ArticleID articleID){}

	public boolean visit(Asymmetry asymmetry){return true;}
	public void endVisit(Asymmetry asymmetry){}

	public boolean visit(Associativity associativity){return true;}
	public void endVisit(Associativity associativity){}

	public boolean visit(Assume assume){return true;}
	public void endVisit(Assume assume){}

	public boolean visit(AuxiliaryItem auxiliaryItem){return true;}
	public void endVisit(AuxiliaryItem auxiliaryItem){}

	public boolean visit(BlockThesis blockThesis){return true;}
	public void endVisit(BlockThesis blockThesis){}

	public boolean visit(By by){return true;}
	public void endVisit(By by){}

	public boolean visit(ByExplanations byExplanations){return true;}
	public void endVisit(ByExplanations byExplanations){}

	public boolean visit(Canceled canceled){return true;}
	public void endVisit(Canceled canceled){}

	public boolean visit(Case case_){return true;}
	public void endVisit(Case case_){}

	public boolean visit(CaseBlock caseBlock){return true;}
	public void endVisit(CaseBlock caseBlock){}

	public boolean visit(CCluster cCluster){return true;}
	public void endVisit(CCluster cCluster){}

	public boolean visit(Choice choice){return true;}
	public void endVisit(Choice choice){}

	public boolean visit(Cluster cluster){return true;}
	public void endVisit(Cluster cluster){}

	public boolean visit(Coherence coherence){return true;}
	public void endVisit(Coherence coherence){}

	public boolean visit(Commutativity commutativity){return true;}
	public void endVisit(Commutativity commutativity){}

	public boolean visit(Compatibility compatibility){return true;}
	public void endVisit(Compatibility compatibility){}

	public boolean visit(ComplexNr complexNr){return true;}
	public void endVisit(ComplexNr complexNr){}

	public boolean visit(Conclusion conclusion){return true;}
	public void endVisit(Conclusion conclusion){}

	public boolean visit(Connectedness connectedness){return true;}
	public void endVisit(Connectedness connectedness){}

	public boolean visit(Consider consider){return true;}
	public void endVisit(Consider consider){}

	public boolean visit(Consistency consistency){return true;}
	public void endVisit(Consistency consistency){}

	public boolean visit(Const const_){return true;}
	public void endVisit(Const const_){}

	public boolean visit(ConstrCount constrCount){return true;}
	public void endVisit(ConstrCount constrCount){}

	public boolean visit(ConstrCounts constrCounts){return true;}
	public void endVisit(ConstrCounts constrCounts){}

	public boolean visit(ConstrDef constrDef){return true;}
	public void endVisit(ConstrDef constrDef){}

	public boolean visit(Constructor constructor){return true;}
	public void endVisit(Constructor constructor){}

	public boolean visit(Constructors constructors){return true;}
	public void endVisit(Constructors constructors){}

	public boolean visit(Correctness correctness){return true;}
	public void endVisit(Correctness correctness){}

	public boolean visit(CorrectnessCondition correctnessCondition){return true;}
	public void endVisit(CorrectnessCondition correctnessCondition){}

	public boolean visit(DefFunc defFunc){return true;}
	public void endVisit(DefFunc defFunc){}

	public boolean visit(Definiens definiens){return true;}
	public void endVisit(Definiens definiens){}

	public boolean visit(Definientia definientia){return true;}
	public void endVisit(Definientia definientia){}

	public boolean visit(Definition definition){return true;}
	public void endVisit(Definition definition){}

	public boolean visit(DefinitionBlock definitionBlock){return true;}
	public void endVisit(DefinitionBlock definitionBlock){}

	public boolean visit(DefMeaning defMeaning){return true;}
	public void endVisit(DefMeaning defMeaning){}

	public boolean visit(DefPred defPred){return true;}
	public void endVisit(DefPred defPred){}

	public boolean visit(DefTheorem defTheorem){return true;}
	public void endVisit(DefTheorem defTheorem){}

	public boolean visit(Directive directive){return true;}
	public void endVisit(Directive directive){}

	public boolean visit(EndPosition endPosition){return true;}
	public void endVisit(EndPosition endPosition){}

	public boolean visit(Environ environ){return true;}
	public void endVisit(Environ environ){}

	public boolean visit(EqArgs eqArgs){return true;}
	public void endVisit(EqArgs eqArgs){}

	public boolean visit(ErrorCluster errorCluster){return true;}
	public void endVisit(ErrorCluster errorCluster){}

	public boolean visit(ErrorFrm errorFrm){return true;}
	public void endVisit(ErrorFrm errorFrm){}

	public boolean visit(ErrorIdentify errorIdentify){return true;}
	public void endVisit(ErrorIdentify errorIdentify){}

	public boolean visit(ErrorInf errorInf){return true;}
	public void endVisit(ErrorInf errorInf){}

	public boolean visit(ErrorTrm errorTrm){return true;}
	public void endVisit(ErrorTrm errorTrm){}

	public boolean visit(Essentials essentials){return true;}
	public void endVisit(Essentials essentials){}

	public boolean visit(Existence existence){return true;}
	public void endVisit(Existence existence){}

	public boolean visit(Expansion expansion){return true;}
	public void endVisit(Expansion expansion){}

	public boolean visit(FCluster fCluster){return true;}
	public void endVisit(FCluster fCluster){}

	public boolean visit(Field field){return true;}
	public void endVisit(Field field){}

	public boolean visit(Fields fields){return true;}
	public void endVisit(Fields fields){}

	public boolean visit(For for_){return true;}
	public void endVisit(For for_){}

	public boolean visit(Format format){return true;}
	public void endVisit(Format format){}

	public boolean visit(Formats formats){return true;}
	public void endVisit(Formats formats){}

	public boolean visit(Formula formula){return true;}
	public void endVisit(Formula formula){}

	public boolean visit(Fraenkel fraenkel){return true;}
	public void endVisit(Fraenkel fraenkel){}

	public boolean visit(FreeVar freeVar){return true;}
	public void endVisit(FreeVar freeVar){}

	public boolean visit(From from){return true;}
	public void endVisit(From from){}

	public boolean visit(FromExplanations fromExplanations){return true;}
	public void endVisit(FromExplanations fromExplanations){}

	public boolean visit(Func func){return true;}
	public void endVisit(Func func){}

	public boolean visit(FuncInstance funcInstance){return true;}
	public void endVisit(FuncInstance funcInstance){}

	public boolean visit(GeneralPolynomial generalPolynomial){return true;}
	public void endVisit(GeneralPolynomial generalPolynomial){}

	public boolean visit(Given given){return true;}
	public void endVisit(Given given){}

	public boolean visit(Idempotence idempotence){return true;}
	public void endVisit(Idempotence idempotence){}

	public boolean visit(Ident ident){return true;}
	public void endVisit(Ident ident){}

	public boolean visit(Identify identify){return true;}
	public void endVisit(Identify identify){}

	public boolean visit(IdentifyRegistration identifyRegistration){return true;}
	public void endVisit(IdentifyRegistration identifyRegistration){}

	public boolean visit(IdentifyRegistrations identifyRegistrations){return true;}
	public void endVisit(IdentifyRegistrations identifyRegistrations){}

	public boolean visit(IdentifyWithExp identifyWithExp){return true;}
	public void endVisit(IdentifyWithExp identifyWithExp){}

	public boolean visit(InfConst infConst){return true;}
	public void endVisit(InfConst infConst){}

	public boolean visit(Inference inference){return true;}
	public void endVisit(Inference inference){}

	public boolean visit(Int int_){return true;}
	public void endVisit(Int int_){}

	public boolean visit(Involutiveness involutiveness){return true;}
	public void endVisit(Involutiveness involutiveness){}

	public boolean visit(Irreflexivity irreflexivity){return true;}
	public void endVisit(Irreflexivity irreflexivity){}

	public boolean visit(Is is){return true;}
	public void endVisit(Is is){}

	public boolean visit(It it){return true;}
	public void endVisit(It it){}

	public boolean visit(IterEquality iterEquality){return true;}
	public void endVisit(IterEquality iterEquality){}

	public boolean visit(IterStep iterStep){return true;}
	public void endVisit(IterStep iterStep){}

	public boolean visit(Justification justification){return true;}
	public void endVisit(Justification justification){}

	public boolean visit(JustifiedProperty justifiedProperty){return true;}
	public void endVisit(JustifiedProperty justifiedProperty){}

	public boolean visit(JustifiedProposition justifiedProposition){return true;}
	public void endVisit(JustifiedProposition justifiedProposition){}

	public boolean visit(JustifiedTheorem justifiedTheorem){return true;}
	public void endVisit(JustifiedTheorem justifiedTheorem){}

	public boolean visit(LambdaVar lambdaVar){return true;}
	public void endVisit(LambdaVar lambdaVar){}

	public boolean visit(Let let){return true;}
	public void endVisit(Let let){}

	public boolean visit(LocusVar locusVar){return true;}
	public void endVisit(LocusVar locusVar){}

	public boolean visit(Monomial monomial){return true;}
	public void endVisit(Monomial monomial){}

	public boolean visit(Not not){return true;}
	public void endVisit(Not not){}

	public boolean visit(NotationBlock notationBlock){return true;}
	public void endVisit(NotationBlock notationBlock){}

	public boolean visit(Notations notations){return true;}
	public void endVisit(Notations notations){}

	public boolean visit(Now now){return true;}
	public void endVisit(Now now){}

	public boolean visit(Num num){return true;}
	public void endVisit(Num num){}

	public boolean visit(Number number){return true;}
	public void endVisit(Number number){}

	public boolean visit(Pair pair){return true;}
	public void endVisit(Pair pair){}

	public boolean visit(PartialDef partialDef){return true;}
	public void endVisit(PartialDef partialDef){}

	public boolean visit(Pattern pattern){return true;}
	public void endVisit(Pattern pattern){}

	public boolean visit(PerCases perCases){return true;}
	public void endVisit(PerCases perCases){}

	public boolean visit(PerCasesReasoning perCasesReasoning){return true;}
	public void endVisit(PerCasesReasoning perCasesReasoning){}

	public boolean visit(PolyEval polyEval){return true;}
	public void endVisit(PolyEval polyEval){}

	public boolean visit(Polynomial polynomial){return true;}
	public void endVisit(Polynomial polynomial){}

	public boolean visit(PoweredVar poweredVar){return true;}
	public void endVisit(PoweredVar poweredVar){}

	public boolean visit(Pred pred){return true;}
	public void endVisit(Pred pred){}

	public boolean visit(PredInstance predInstance){return true;}
	public void endVisit(PredInstance predInstance){}

	public boolean visit(Priority priority){return true;}
	public void endVisit(Priority priority){}

	public boolean visit(PrivFunc privFunc){return true;}
	public void endVisit(PrivFunc privFunc){}

	public boolean visit(PrivPred privPred){return true;}
	public void endVisit(PrivPred privPred){}

	public boolean visit(Projectivity projectivity){return true;}
	public void endVisit(Projectivity projectivity){}

	public boolean visit(Proof proof){return true;}
	public void endVisit(Proof proof){}

	public boolean visit(Properties properties){return true;}
	public void endVisit(Properties properties){}

	public boolean visit(AbstractProperty abstractProperty){return true;}
	public void endVisit(AbstractProperty abstractProperty){}

	public boolean visit(Proposition proposition){return true;}
	public void endVisit(Proposition proposition){}

	public boolean visit(QuaTrm quaTrm){return true;}
	public void endVisit(QuaTrm quaTrm){}

	public boolean visit(RationalNr rationalNr){return true;}
	public void endVisit(RationalNr rationalNr){}

	public boolean visit(RCluster rCluster){return true;}
	public void endVisit(RCluster rCluster){}

	public boolean visit(Reasoning reasoning){return true;}
	public void endVisit(Reasoning reasoning){}

	public boolean visit(ReasoningItem reasoningItem){return true;}
	public void endVisit(ReasoningItem reasoningItem){}

	public boolean visit(Reconsider reconsider){return true;}
	public void endVisit(Reconsider reconsider){}

	public boolean visit(Ref ref){return true;}
	public void endVisit(Ref ref){}

	public boolean visit(Reflexivity reflexivity){return true;}
	public void endVisit(Reflexivity reflexivity){}

	public boolean visit(Registration registration){return true;}
	public void endVisit(Registration registration){}

	public boolean visit(RegistrationBlock registrationBlock){return true;}
	public void endVisit(RegistrationBlock registrationBlock){}

	public boolean visit(Registrations registrations){return true;}
	public void endVisit(Registrations registrations){}

	public boolean visit(Requirement requirement){return true;}
	public void endVisit(Requirement requirement){}

	public boolean visit(Requirements requirements){return true;}
	public void endVisit(Requirements requirements){}

	public boolean visit(Reservation reservation){return true;}
	public void endVisit(Reservation reservation){}

	public boolean visit(Scheme scheme){return true;}
	public void endVisit(Scheme scheme){}

	public boolean visit(SchemeBlock schemeBlock){return true;}
	public void endVisit(SchemeBlock schemeBlock){}

	public boolean visit(SchemeDecl schemeDecl){return true;}
	public void endVisit(SchemeDecl schemeDecl){}

	public boolean visit(SchemeFuncDecl schemeFuncDecl){return true;}
	public void endVisit(SchemeFuncDecl schemeFuncDecl){}

	public boolean visit(SchemeInstantiation schemeInstantiation){return true;}
	public void endVisit(SchemeInstantiation schemeInstantiation){}

	public boolean visit(SchemePredDecl schemePredDecl){return true;}
	public void endVisit(SchemePredDecl schemePredDecl){}

	public boolean visit(SchemePremises schemePremises){return true;}
	public void endVisit(SchemePremises schemePremises){}

	public boolean visit(Schemes schemes){return true;}
	public void endVisit(Schemes schemes){}

	public boolean visit(Section section){return true;}
	public void endVisit(Section section){}

	public boolean visit(Set set){return true;}
	public void endVisit(Set set){}

	public boolean visit(Signature signature){return true;}
	public void endVisit(Signature signature){}

	public boolean visit(SignatureWithCounts signatureWithCounts){return true;}
	public void endVisit(SignatureWithCounts signatureWithCounts){}

	public boolean visit(SkeletonItem skeletonItem){return true;}
	public void endVisit(SkeletonItem skeletonItem){}

	public boolean visit(SkippedProof skippedProof){return true;}
	public void endVisit(SkippedProof skippedProof){}

	public boolean visit(StructLoci structLoci){return true;}
	public void endVisit(StructLoci structLoci){}

	public boolean visit(Suppose suppose){return true;}
	public void endVisit(Suppose suppose){}

	public boolean visit(SupposeBlock supposeBlock){return true;}
	public void endVisit(SupposeBlock supposeBlock){}

	public boolean visit(Symbol symbol){return true;}
	public void endVisit(Symbol symbol){}

	public boolean visit(SymbolCount symbolCount){return true;}
	public void endVisit(SymbolCount symbolCount){}

	public boolean visit(Symbols symbols){return true;}
	public void endVisit(Symbols symbols){}

	public boolean visit(Symmetry symmetry){return true;}
	public void endVisit(Symmetry symmetry){}

	public boolean visit(Take take){return true;}
	public void endVisit(Take take){}

	public boolean visit(TakeAsVar takeAsVar){return true;}
	public void endVisit(TakeAsVar takeAsVar){}

	public boolean visit(Term term){return true;}
	public void endVisit(Term term){}

	public boolean visit(Theorem theorem){return true;}
	public void endVisit(Theorem theorem){}

	public boolean visit(Theorems theorems){return true;}
	public void endVisit(Theorems theorems){}

	public boolean visit(Thesis thesis){return true;}
	public void endVisit(Thesis thesis){}

	public boolean visit(ThesisExpansions thesisExpansions){return true;}
	public void endVisit(ThesisExpansions thesisExpansions){}

	public boolean visit(ToStringVisitor toStringVisitor){return true;}
	public void endVisit(ToStringVisitor toStringVisitor){}

	public boolean visit(Transitivity transitivity){return true;}
	public void endVisit(Transitivity transitivity){}

	public boolean visit(Typ typ){return true;}
	public void endVisit(Typ typ){}

	public boolean visit(UnexpectedProp unexpectedProp){return true;}
	public void endVisit(UnexpectedProp unexpectedProp){}

	public boolean visit(Uniqueness uniqueness){return true;}
	public void endVisit(Uniqueness uniqueness){}

	public boolean visit(UnknownCorrCond unknownCorrCond){return true;}
	public void endVisit(UnknownCorrCond unknownCorrCond){}

	public boolean visit(Var var){return true;}
	public void endVisit(Var var){}

	public boolean visit(Verum verum){return true;}
	public void endVisit(Verum verum){}

	public boolean visit(Visible visible){return true;}
	public void endVisit(Visible visible){}

	public boolean visit(Vocabularies vocabularies){return true;}
	public void endVisit(Vocabularies vocabularies){}

	public boolean visit(Vocabulary vocabulary){return true;}
	public void endVisit(Vocabulary vocabulary){}
	
	public boolean visit(Reconsider.TypTerm typTerm) {return true;}
	public void endVisit(Reconsider.TypTerm typTerm) {}
	
	public boolean visit(PropertyRegistration propertyRegistration) {return true;}
	public void endVisit(PropertyRegistration propertyRegistration) {}
	
	public boolean visit(Property property) {return true;}
	public void endVisit(Property property) {}

	public boolean visit(Sethood sethood){return true;}
	public void endVisit(Sethood sethood){}

	public boolean visit(ReductionRegistration reductionRegistration){return true;}
	public void endVisit(ReductionRegistration reductionRegistration){}
	
	public boolean visit(Reduction reduction){return true;}
	public void endVisit(Reduction reduction){}
	
	public boolean visit(Reducibility reducibility){return true;}
	public void endVisit(Reducibility reducibility){}
	
	public boolean visit(ReductionRegistrations reductionRegistrations) {return true;}
	public void endVisit(ReductionRegistrations reductionRegistrations){}
	
	public boolean visit(PropertyRegistrations propertyRegistrations) {return true;}
	public void endVisit(PropertyRegistrations propertyRegistrations){}

	public boolean visit(FlexFrm flexFrm) {return true;}
	public void endVisit(FlexFrm flexFrm){}
	
}
